Service-Oriented Reference Architecture for Smart Cities

The trend towards turning existing cities into smart cities is growing. Facilitated by advances in computing such as Cloud services and Internet of Things (IoT), smart cities propose to bring integrated, autonomous systems together to improve quality of life for their inhabitants. Systems such as autonomous vehicles, smart grids and intelligent traffic management are in the initial stages of development. However, as of yet there, is no holistic architecture on which to integrate these systems into a smart city. Additionally, the existing systems and infrastructure of cities is extensive and critical to their operation. We cannot simply replace these systems with smarter versions, instead the system intelligence must augment the existing systems. In this paper we propose a service oriented reference architecture for smart cities which can tackle these problems and identify some related open research questions. The abstract architecture encapsulates the way in which different aspects of the service oriented approach span through the layers of existing city infrastructure. Additionally, the extensible provision of services by individual systems allows for the organic growth of the smart city as required

Massive-Scale Automation in Cyber-Physical Systems: Vision & Challenges

The next era of computing is the evolution of the Internet of Things (IoT) and Smart Cities with development of the Internet of Simulation (IoS). The existing technologies of Cloud, Edge, and Fog computing as well as HPC being applied to the domains of Big Data and deep learning are not adequate to handle the scale and complexity of the systems required to facilitate a fully integrated and automated smart city. This integration of existing systems will create an explosion of data streams at a scale not yet experienced. The additional data can be combined with simulations as services (SIMaaS) to provide a shared model of reality across all integrated systems, things, devices, and individuals within the city. There are also numerous challenges in managing the security and safety of the integrated systems. This paper presents an overview of the existing state-of-the-art in automating, augmenting, and integrating systems across the domains of smart cities, autonomous vehicles, energy efficiency, smart manufacturing in Industry 4.0, and healthcare. Additionally the key challenges relating to Big Data, a model of reality, augmentation of systems, computation, and security are examined

n-Dimensional QoS Framework for Real-Time Service-Oriented Architectures

Service-Orientation has long provided an effective mechanism to integrate heterogeneous systems in a loosely coupled fashion as services. However, with the emergence of Internet of Things (IoT) there is a growing need to facilitate the integration of real-time services executing in non-controlled, non-real-time, environments such as the Cloud. With the need to integrate both cyberphysical systems as hardware-in-the-loop (HIL) components and also with Simulation as a Service (SIMaaS) the execution performance and response-times of the services must be managed. This paper presents a mathematical framework that captures the relationship between the host execution environment and service performance allowing the estimation of Quality of Service (QoS) under dynamic Cloud workloads. A formal mathematical definition is provided and this is evaluated against existing techniques from both the Cloud and Real-Time Service Oriented Architecture (RT-SOA) domains. The proposed approach is evaluated against the existing techniques through simulation and demonstrates a reduction of QoS violation percentage by 22% with respect to response-times as well as reducing the number of Micro-Service (uS) instances with QoS violations by 27%

A service oriented virtual environment for complex system analysis: Preliminary report

Distributed virtual simulation is a capability that is increasing in demand within the automotive manufacturing industry. The distributed and networked approach to system level design and simulation stands to benefit from a unifying relational oriented modeling and simulation framework due to the large number of simulation technologies that must be integrated. This will also permit innovative use of existing independent simulations for increased concurrency in design and verification and validation. Through relational orientation, high level syntax and semantics for representing models and simulations have been developed for proof of concept analysis. This paper presents an approach to drive a process of analysis of the vehicle as a complex system through the combination of a relational trade-off analysis framework and a distributed simulation execution delivered through a service-oriented integration architecture. This promises to provide a rigorous, traceable and agile approach to early stage conceptual vehicle design and analysis

The Internet of Simulation: Enabling Agile Model Based Systems Engineering for Cyber-Physical Systems

The expansion of the Internet of Things (IoT) has resulted in a complex cyber-physical system of systems that is continually evolving. With ever more complex systems being developed and changed there has been an increasing reliance on simulation as a vital part of the design process. There is also a growing need for simulation integration and co-simulation in order to analyse the complex interactions between system components. To this end we propose that the Internet of Simulation (IoS) as an extension of IoT can be used to meet these needs. The IoS allows for multiple heterogeneous simulations to be integrated together for co-simulation. It's effect on the engineer process is to facilitate agile practices without sacrificing rigour. An Industry 4.0 example case study is provided showing how IoS could be utilized

The Internet of Simulation, a Specialisation of the Internet of Things with Simulation and Workflow as a Service (SIM/WFaaS)

Abstract: A trend seen in many industries is the increasing reliance on modelling and simulation to facilitate design, decision making and training. Previously, these models would operate in isolation but now there is a growing need to integrate and connect simulations together for co-simulation. In addition, the 21st century has seen the expansion of the Internet of Things (IoT) enabling the interconnectivity of smart devices across the Internet. In this paper we propose that an important, and often overlooked, domain of IoT is that of modelling and simulation. Expanding IoT to encompass interconnected simulations enables the potential for an Internet of Simulation whereby models and simulations are exposed to the wider internet and can be accessed on an "as-a-service" basis. The proposed IoS would need to manage simulation across heterogeneous infrastructures, temporal and causal aspects of simulations, as well as variations in data structures. Via the proposed Simulation as a Service (SIMaaS) and Workflow as a Service (WFaaS) constructs in IoS, highly complex simulation integration could be performed automatically, resulting in high fidelity system level simulations. Additionally, the potential for faster than real-time simulation afforded by IoS opens the possibility of connecting IoS to existing IoT infrastructure via a real-time bridge to facilitate decision making based on live data

Effective Holographic Theories for low-temperature condensed matter systems

The IR dynamics of effective holographic theories capturing the interplay between charge density and the leading relevant scalar operator at strong coupling are analyzed. Such theories are parameterized by two real exponents $(\gamma,\delta)$ that control the IR dynamics. By studying the thermodynamics, spectra and conductivities of several classes of charged dilatonic black hole solutions that include the charge density back reaction fully, the landscape of such theories in view of condensed matter applications is characterized. Several regions of the $(\gamma,\delta)$ plane can be excluded as the extremal solutions have unacceptable singularities. The classical solutions have generically zero entropy at zero temperature, except when $\gamma=\delta$ where the entropy at extremality is finite. The general scaling of DC resistivity with temperature at low temperature, and AC conductivity at low frequency and temperature across the whole $(\gamma,\delta)$ plane, is found. There is a codimension-one region where the DC resistivity is linear in the temperature. For massive carriers, it is shown that when the scalar operator is not the dilaton, the DC resistivity scales as the heat capacity (and entropy) for planar (3d) systems. Regions are identified where the theory at finite density is a Mott-like insulator at T=0. We also find that at low enough temperatures the entropy due to the charge carriers is generically larger than at zero charge density.Comment: (v3): Added discussion on the UV completion of the solutions, and on extremal spectra in the charged case. Expanded discusion on insulating extremal solutions. Many other refinements and corrections. 126 pages. 48 figure

Thermodynamics of a class of non-asymptotically flat black holes in Einstein-Maxwell-Dilaton theory

We analyse in detail the thermodynamics in the canonical and grand canonical ensembles of a class of non-asymptotically flat black holes of the Einstein-(anti) Maxwell-(anti) Dilaton theory in 4D with spherical symmetry. We present the first law of thermodynamics, the thermodynamic analysis of the system through the geometrothermodynamics methods, Weinhold, Ruppeiner, Liu-Lu-Luo-Shao and the most common, that made by the specific heat. The geometric methods show a curvature scalar identically zero, which is incompatible with the results of the analysis made by the non null specific heat, which shows that the system is thermodynamically interacting, does not possess extreme case nor phase transition. We also analyse the local and global stability of the thermodynamic system, and obtain a local and global stability for the normal case for 0<\gamma<1 and for other values of \gamma, an unstable system. The solution where \gamma=0 separates the class of locally and globally stable solutions from the unstable ones.Comment: 18 pages, version accepted for publication in General Relativity and Gravitatio

A model for reactive porous transport during re-wetting of hardened concrete

A mathematical model is developed that captures the transport of liquid water in hardened concrete, as well as the chemical reactions that occur between the imbibed water and the residual calcium silicate compounds residing in the porous concrete matrix. The main hypothesis in this model is that the reaction product -- calcium silicate hydrate gel -- clogs the pores within the concrete thereby hindering water transport. Numerical simulations are employed to determine the sensitivity of the model solution to changes in various physical parameters, and compare to experimental results available in the literature.Comment: 30 page

Bi-allelic Variants in TKFC Encoding Triokinase/FMN Cyclase Are Associated with Cataracts and Multisystem Disease

We report an inborn error of metabolism caused by TKFC deficiency in two unrelated families. Rapid trio genome sequencing in family 1 and exome sequencing in family 2 excluded known genetic etiologies, and further variant analysis identified rare homozygous variants in TKFC. TKFC encodes a bifunctional enzyme involved in fructose metabolism through its glyceraldehyde kinase activity and in the generation of riboflavin cyclic 4′,5′-phosphate (cyclic FMN) through an FMN lyase domain. The TKFC homozygous variants reported here are located within the FMN lyase domain. Functional assays in yeast support the deleterious effect of these variants on protein function. Shared phenotypes between affected individuals with TKFC deficiency include cataracts and developmental delay, associated with cerebellar hypoplasia in one case. Further complications observed in two affected individuals included liver dysfunction and microcytic anemia, while one had fatal cardiomyopathy with lactic acidosis following a febrile illness. We postulate that deficiency of TKFC causes disruption of endogenous fructose metabolism leading to generation of by-products that can cause cataract. In line with this, an affected individual had mildly elevated urinary galactitol, which has been linked to cataract development in the galactosemias. Further, in light of a previously reported role of TKFC in regulating innate antiviral immunity through suppression of MDA5, we speculate that deficiency of TKFC leads to impaired innate immunity in response to viral illness, which may explain the fatal illness observed in the most severely affected individual